EN FR
EN FR




Section: Dissemination

Teaching

  • Licence : Computer Architecture, 71h, L2, U. Claude Bernard, taught by Nicolas Louvet.

  • Licence : Operating Systems, 35h, L3, U. Claude Bernard, taught by Nicolas Louvet.

  • Licence : Algorithms and Data Structures, 32h, L3, U. Claude Bernard, taught by Nicolas Louvet.

  • Master: Arithmetic Algorithms, 24h, M1, École normale supérieure de Lyon, taught by Eleonora Guerrini, Guillaume Hanrot, and Claude-Pierre Jeannerod (autumn 2011).

  • Master: Reconfigurable Computing, 24h, M2, École normale supérieure de Lyon, taught by Florent de Dinechin (autumn 2011).

  • Master: Cryptology: new primitives and applications, 24h, M2, École normale supérieure de Lyon, taught by Guillaume Hanrot and Damien Stehlé (autumn 2011).

  • Master: Algorithms for Verified Linear Algebra, 24h, M2, École normale supérieure de Lyon, taught by Claude-Pierre Jeannerod, Nicolas Louvet, and Nathalie Revol (autumn 2011).

  • Master: Numerical Algorithms, 36h, M2, U. Claude Bernard, taught by Claude-Pierre Jeannerod and Nicolas Louvet.

  • Master: Computer Arithmetic, 28h, M2, U. Claude Bernard, taught by Vincent Lefèvre.

  • Doctorate: Floating-Point Arithmetic, 12h, Nizhniy Novgorod State University, taught by Florent de Dinechin (spring 2011).

PhD & HdR:

  • HdR: Damien Stehlé, Euclidean lattices: algorithms and cryptography [15] , ENS de Lyon - Université de Lyon, defended on October 14, 2011.

  • HdR: Fabien Laguillaumie, Public-Key Cryptography: Design and Algorithmic, Université de Caen, defended on December 12, 2011.

  • PhD: Mioara Joldes, Rigorous Polynomial Approximations and Applications [11] , ENS de Lyon - Université de Lyon, defended on September 26, 2011. Supervisors: Nicolas Brisebarre and Jean-Michel Muller.

  • PhD: Christophe Mouilleron, Efficient computation with structured matrices and arithmetic expressions [12] , ENS de Lyon - Université de Lyon, defended on November 4, 2011. Supervisors: Claude-Pierre Jeannerod and Gilles Villard.

  • PhD: Hong Diep Nguyen, Efficient algorithms for verified scientific computing: Numerical linear algebra using interval arithmetic [24] , ENS de Lyon - Université de Lyon, defended on January 18, 2011. Supervisors: Nathalie Revol and Gilles Villard.

  • PhD: Bogdan Pasca, High-performance floating-point computing on reconfigurable circuits [14] , ENS de Lyon - Université de Lyon, defended on September 21, 2011. Supervisor: Florent de Dinechin.

  • PhD in progress: Nicolas Brunie, Embedding a tightly-coupled reconfigurable accelerator in multicore processor, started in december 2010. Supervisor: Florent de Dinechin.

  • PhD in progress: Jingyan Jourdan-Lu, Floating-point arithmetic and compilation for embedded processors, started in March 2009. Supervisors: Claude-Pierre Jeannerod, Christophe Monat (STMicroelectronics Compilation Expertise Center), and Jean-Michel Muller. Jingyan has been on maternity leave from November 2010 to May 2011.

  • PhD in progress: Adeline Langlois, Cryptography based on ideal lattices, started in September 2011. Supervisors: Guillaume Hanrot and Damien Stehlé.

  • PhD in progress: Érik Martin-Dorel, Contributions to the elaboration of arithmetic algorithms with their formal proof, started in October 2009. Supervisors: Micaela Mayero and Jean-Michel Muller.

  • PhD in progress: Adrien Panhaleux, Floating-point arithmetic algorithms, started in September 2008. Supervisors: Nicolas Louvet and Jean-Michel Muller.

  • PhD in progress: David Pfannholzer, Generation of specialized numerical codes, started in November 2009, until October 2011. Supervisors: Florent de Dinechin and Nathalie Revol.

  • PhD in progress: Xavier Pujol, Efficient lattice reduction algorithms, started in September 2009. Supervisors: Guillaume Hanrot and Damien Stehlé.

  • PhD in progress: Philippe Théveny, Numerical quality and high performance in scientific computing on emerging architectures, started in October 2011. Supervisor: Nathalie Revol.

  • PhD in progress: Serge Torres, Some tools for the design of efficient and reliable function evaluation libraries, started in September 2010. Supervisors: Nicolas Brisebarre and Jean-Michel Muller.

Other teaching:

  • Nathalie Revol gave conferences at “Lycée Lalande” (Bourg-en-Bresse), “Collège Jean Zay” (Brignais), “Collège Eugénie de Pomey” (Amplepuis) and “Collège Pablo Picasso” (Bron).

  • Jean-Michel Muller gave an introductory talk on Floating-Point Arithmetic at the “Journées nationals de l'association des professeurs de Mathématiques de l'enseignement Public”, Grenoble, Oct. 2011.

  • Damien Stehlé gave introductory talks on lattice-based cryptography at ENS de Casablanca and ENSA de SAFI (Morocco) .

  • Vincent Lefèvre gave a presentation of GNU MPFR at the GNU Hackers Meeting in Paris, Aug. 2011.